Optimal. Leaf size=287 \[ -\frac {2 e (f+g x)^{7/2} \left (e g (-a e g-3 b d g+4 b e f)-c \left (3 d^2 g^2-12 d e f g+10 e^2 f^2\right )\right )}{7 g^6}+\frac {2 (f+g x)^{5/2} (e f-d g) \left (3 e g (-a e g-b d g+2 b e f)-c \left (d^2 g^2-8 d e f g+10 e^2 f^2\right )\right )}{5 g^6}-\frac {2 \sqrt {f+g x} (e f-d g)^3 \left (a g^2-b f g+c f^2\right )}{g^6}+\frac {2 (f+g x)^{3/2} (e f-d g)^2 (c f (5 e f-2 d g)-g (-3 a e g-b d g+4 b e f))}{3 g^6}-\frac {2 e^2 (f+g x)^{9/2} (-b e g-3 c d g+5 c e f)}{9 g^6}+\frac {2 c e^3 (f+g x)^{11/2}}{11 g^6} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.50, antiderivative size = 287, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 27, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.074, Rules used = {897, 1153} \[ -\frac {2 e (f+g x)^{7/2} \left (e g (-a e g-3 b d g+4 b e f)-c \left (3 d^2 g^2-12 d e f g+10 e^2 f^2\right )\right )}{7 g^6}+\frac {2 (f+g x)^{5/2} (e f-d g) \left (3 e g (-a e g-b d g+2 b e f)-c \left (d^2 g^2-8 d e f g+10 e^2 f^2\right )\right )}{5 g^6}-\frac {2 \sqrt {f+g x} (e f-d g)^3 \left (a g^2-b f g+c f^2\right )}{g^6}+\frac {2 (f+g x)^{3/2} (e f-d g)^2 (c f (5 e f-2 d g)-g (-3 a e g-b d g+4 b e f))}{3 g^6}-\frac {2 e^2 (f+g x)^{9/2} (-b e g-3 c d g+5 c e f)}{9 g^6}+\frac {2 c e^3 (f+g x)^{11/2}}{11 g^6} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 897
Rule 1153
Rubi steps
\begin {align*} \int \frac {(d+e x)^3 \left (a+b x+c x^2\right )}{\sqrt {f+g x}} \, dx &=\frac {2 \operatorname {Subst}\left (\int \left (\frac {-e f+d g}{g}+\frac {e x^2}{g}\right )^3 \left (\frac {c f^2-b f g+a g^2}{g^2}-\frac {(2 c f-b g) x^2}{g^2}+\frac {c x^4}{g^2}\right ) \, dx,x,\sqrt {f+g x}\right )}{g}\\ &=\frac {2 \operatorname {Subst}\left (\int \left (\frac {(-e f+d g)^3 \left (c f^2-b f g+a g^2\right )}{g^5}+\frac {(e f-d g)^2 (c f (5 e f-2 d g)-g (4 b e f-b d g-3 a e g)) x^2}{g^5}+\frac {(e f-d g) \left (3 e g (2 b e f-b d g-a e g)-c \left (10 e^2 f^2-8 d e f g+d^2 g^2\right )\right ) x^4}{g^5}+\frac {e \left (-e g (4 b e f-3 b d g-a e g)+c \left (10 e^2 f^2-12 d e f g+3 d^2 g^2\right )\right ) x^6}{g^5}+\frac {e^2 (-5 c e f+3 c d g+b e g) x^8}{g^5}+\frac {c e^3 x^{10}}{g^5}\right ) \, dx,x,\sqrt {f+g x}\right )}{g}\\ &=-\frac {2 (e f-d g)^3 \left (c f^2-b f g+a g^2\right ) \sqrt {f+g x}}{g^6}+\frac {2 (e f-d g)^2 (c f (5 e f-2 d g)-g (4 b e f-b d g-3 a e g)) (f+g x)^{3/2}}{3 g^6}+\frac {2 (e f-d g) \left (3 e g (2 b e f-b d g-a e g)-c \left (10 e^2 f^2-8 d e f g+d^2 g^2\right )\right ) (f+g x)^{5/2}}{5 g^6}-\frac {2 e \left (e g (4 b e f-3 b d g-a e g)-c \left (10 e^2 f^2-12 d e f g+3 d^2 g^2\right )\right ) (f+g x)^{7/2}}{7 g^6}-\frac {2 e^2 (5 c e f-3 c d g-b e g) (f+g x)^{9/2}}{9 g^6}+\frac {2 c e^3 (f+g x)^{11/2}}{11 g^6}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.41, size = 249, normalized size = 0.87 \[ \frac {2 \sqrt {f+g x} \left (-495 e (f+g x)^3 \left (c \left (-3 d^2 g^2+12 d e f g-10 e^2 f^2\right )-e g (a e g+3 b d g-4 b e f)\right )+693 (f+g x)^2 (e f-d g) \left (-3 e g (a e g+b d g-2 b e f)-c \left (d^2 g^2-8 d e f g+10 e^2 f^2\right )\right )-3465 (e f-d g)^3 \left (g (a g-b f)+c f^2\right )+1155 (f+g x) (e f-d g)^2 (g (3 a e g+b d g-4 b e f)+c f (5 e f-2 d g))-385 e^2 (f+g x)^4 (-b e g-3 c d g+5 c e f)+315 c e^3 (f+g x)^5\right )}{3465 g^6} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.26, size = 429, normalized size = 1.49 \[ \frac {2 \, {\left (315 \, c e^{3} g^{5} x^{5} - 1280 \, c e^{3} f^{5} + 3465 \, a d^{3} g^{5} + 1408 \, {\left (3 \, c d e^{2} + b e^{3}\right )} f^{4} g - 1584 \, {\left (3 \, c d^{2} e + 3 \, b d e^{2} + a e^{3}\right )} f^{3} g^{2} + 1848 \, {\left (c d^{3} + 3 \, b d^{2} e + 3 \, a d e^{2}\right )} f^{2} g^{3} - 2310 \, {\left (b d^{3} + 3 \, a d^{2} e\right )} f g^{4} - 35 \, {\left (10 \, c e^{3} f g^{4} - 11 \, {\left (3 \, c d e^{2} + b e^{3}\right )} g^{5}\right )} x^{4} + 5 \, {\left (80 \, c e^{3} f^{2} g^{3} - 88 \, {\left (3 \, c d e^{2} + b e^{3}\right )} f g^{4} + 99 \, {\left (3 \, c d^{2} e + 3 \, b d e^{2} + a e^{3}\right )} g^{5}\right )} x^{3} - 3 \, {\left (160 \, c e^{3} f^{3} g^{2} - 176 \, {\left (3 \, c d e^{2} + b e^{3}\right )} f^{2} g^{3} + 198 \, {\left (3 \, c d^{2} e + 3 \, b d e^{2} + a e^{3}\right )} f g^{4} - 231 \, {\left (c d^{3} + 3 \, b d^{2} e + 3 \, a d e^{2}\right )} g^{5}\right )} x^{2} + {\left (640 \, c e^{3} f^{4} g - 704 \, {\left (3 \, c d e^{2} + b e^{3}\right )} f^{3} g^{2} + 792 \, {\left (3 \, c d^{2} e + 3 \, b d e^{2} + a e^{3}\right )} f^{2} g^{3} - 924 \, {\left (c d^{3} + 3 \, b d^{2} e + 3 \, a d e^{2}\right )} f g^{4} + 1155 \, {\left (b d^{3} + 3 \, a d^{2} e\right )} g^{5}\right )} x\right )} \sqrt {g x + f}}{3465 \, g^{6}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.20, size = 565, normalized size = 1.97 \[ \frac {2 \, {\left (3465 \, \sqrt {g x + f} a d^{3} + \frac {1155 \, {\left ({\left (g x + f\right )}^{\frac {3}{2}} - 3 \, \sqrt {g x + f} f\right )} b d^{3}}{g} + \frac {3465 \, {\left ({\left (g x + f\right )}^{\frac {3}{2}} - 3 \, \sqrt {g x + f} f\right )} a d^{2} e}{g} + \frac {231 \, {\left (3 \, {\left (g x + f\right )}^{\frac {5}{2}} - 10 \, {\left (g x + f\right )}^{\frac {3}{2}} f + 15 \, \sqrt {g x + f} f^{2}\right )} c d^{3}}{g^{2}} + \frac {693 \, {\left (3 \, {\left (g x + f\right )}^{\frac {5}{2}} - 10 \, {\left (g x + f\right )}^{\frac {3}{2}} f + 15 \, \sqrt {g x + f} f^{2}\right )} b d^{2} e}{g^{2}} + \frac {693 \, {\left (3 \, {\left (g x + f\right )}^{\frac {5}{2}} - 10 \, {\left (g x + f\right )}^{\frac {3}{2}} f + 15 \, \sqrt {g x + f} f^{2}\right )} a d e^{2}}{g^{2}} + \frac {297 \, {\left (5 \, {\left (g x + f\right )}^{\frac {7}{2}} - 21 \, {\left (g x + f\right )}^{\frac {5}{2}} f + 35 \, {\left (g x + f\right )}^{\frac {3}{2}} f^{2} - 35 \, \sqrt {g x + f} f^{3}\right )} c d^{2} e}{g^{3}} + \frac {297 \, {\left (5 \, {\left (g x + f\right )}^{\frac {7}{2}} - 21 \, {\left (g x + f\right )}^{\frac {5}{2}} f + 35 \, {\left (g x + f\right )}^{\frac {3}{2}} f^{2} - 35 \, \sqrt {g x + f} f^{3}\right )} b d e^{2}}{g^{3}} + \frac {99 \, {\left (5 \, {\left (g x + f\right )}^{\frac {7}{2}} - 21 \, {\left (g x + f\right )}^{\frac {5}{2}} f + 35 \, {\left (g x + f\right )}^{\frac {3}{2}} f^{2} - 35 \, \sqrt {g x + f} f^{3}\right )} a e^{3}}{g^{3}} + \frac {33 \, {\left (35 \, {\left (g x + f\right )}^{\frac {9}{2}} - 180 \, {\left (g x + f\right )}^{\frac {7}{2}} f + 378 \, {\left (g x + f\right )}^{\frac {5}{2}} f^{2} - 420 \, {\left (g x + f\right )}^{\frac {3}{2}} f^{3} + 315 \, \sqrt {g x + f} f^{4}\right )} c d e^{2}}{g^{4}} + \frac {11 \, {\left (35 \, {\left (g x + f\right )}^{\frac {9}{2}} - 180 \, {\left (g x + f\right )}^{\frac {7}{2}} f + 378 \, {\left (g x + f\right )}^{\frac {5}{2}} f^{2} - 420 \, {\left (g x + f\right )}^{\frac {3}{2}} f^{3} + 315 \, \sqrt {g x + f} f^{4}\right )} b e^{3}}{g^{4}} + \frac {5 \, {\left (63 \, {\left (g x + f\right )}^{\frac {11}{2}} - 385 \, {\left (g x + f\right )}^{\frac {9}{2}} f + 990 \, {\left (g x + f\right )}^{\frac {7}{2}} f^{2} - 1386 \, {\left (g x + f\right )}^{\frac {5}{2}} f^{3} + 1155 \, {\left (g x + f\right )}^{\frac {3}{2}} f^{4} - 693 \, \sqrt {g x + f} f^{5}\right )} c e^{3}}{g^{5}}\right )}}{3465 \, g} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.01, size = 540, normalized size = 1.88 \[ \frac {2 \sqrt {g x +f}\, \left (315 e^{3} c \,x^{5} g^{5}+385 b \,e^{3} g^{5} x^{4}+1155 c d \,e^{2} g^{5} x^{4}-350 c \,e^{3} f \,g^{4} x^{4}+495 a \,e^{3} g^{5} x^{3}+1485 b d \,e^{2} g^{5} x^{3}-440 b \,e^{3} f \,g^{4} x^{3}+1485 c \,d^{2} e \,g^{5} x^{3}-1320 c d \,e^{2} f \,g^{4} x^{3}+400 c \,e^{3} f^{2} g^{3} x^{3}+2079 a d \,e^{2} g^{5} x^{2}-594 a \,e^{3} f \,g^{4} x^{2}+2079 b \,d^{2} e \,g^{5} x^{2}-1782 b d \,e^{2} f \,g^{4} x^{2}+528 b \,e^{3} f^{2} g^{3} x^{2}+693 c \,d^{3} g^{5} x^{2}-1782 c \,d^{2} e f \,g^{4} x^{2}+1584 c d \,e^{2} f^{2} g^{3} x^{2}-480 c \,e^{3} f^{3} g^{2} x^{2}+3465 a \,d^{2} e \,g^{5} x -2772 a d \,e^{2} f \,g^{4} x +792 a \,e^{3} f^{2} g^{3} x +1155 b \,d^{3} g^{5} x -2772 b \,d^{2} e f \,g^{4} x +2376 b d \,e^{2} f^{2} g^{3} x -704 b \,e^{3} f^{3} g^{2} x -924 c \,d^{3} f \,g^{4} x +2376 c \,d^{2} e \,f^{2} g^{3} x -2112 c d \,e^{2} f^{3} g^{2} x +640 c \,e^{3} f^{4} g x +3465 d^{3} a \,g^{5}-6930 a \,d^{2} e f \,g^{4}+5544 a d \,e^{2} f^{2} g^{3}-1584 a \,e^{3} f^{3} g^{2}-2310 b \,d^{3} f \,g^{4}+5544 b \,d^{2} e \,f^{2} g^{3}-4752 b d \,e^{2} f^{3} g^{2}+1408 b \,e^{3} f^{4} g +1848 c \,d^{3} f^{2} g^{3}-4752 c \,d^{2} e \,f^{3} g^{2}+4224 c d \,e^{2} f^{4} g -1280 c \,e^{3} f^{5}\right )}{3465 g^{6}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.46, size = 429, normalized size = 1.49 \[ \frac {2 \, {\left (315 \, {\left (g x + f\right )}^{\frac {11}{2}} c e^{3} - 385 \, {\left (5 \, c e^{3} f - {\left (3 \, c d e^{2} + b e^{3}\right )} g\right )} {\left (g x + f\right )}^{\frac {9}{2}} + 495 \, {\left (10 \, c e^{3} f^{2} - 4 \, {\left (3 \, c d e^{2} + b e^{3}\right )} f g + {\left (3 \, c d^{2} e + 3 \, b d e^{2} + a e^{3}\right )} g^{2}\right )} {\left (g x + f\right )}^{\frac {7}{2}} - 693 \, {\left (10 \, c e^{3} f^{3} - 6 \, {\left (3 \, c d e^{2} + b e^{3}\right )} f^{2} g + 3 \, {\left (3 \, c d^{2} e + 3 \, b d e^{2} + a e^{3}\right )} f g^{2} - {\left (c d^{3} + 3 \, b d^{2} e + 3 \, a d e^{2}\right )} g^{3}\right )} {\left (g x + f\right )}^{\frac {5}{2}} + 1155 \, {\left (5 \, c e^{3} f^{4} - 4 \, {\left (3 \, c d e^{2} + b e^{3}\right )} f^{3} g + 3 \, {\left (3 \, c d^{2} e + 3 \, b d e^{2} + a e^{3}\right )} f^{2} g^{2} - 2 \, {\left (c d^{3} + 3 \, b d^{2} e + 3 \, a d e^{2}\right )} f g^{3} + {\left (b d^{3} + 3 \, a d^{2} e\right )} g^{4}\right )} {\left (g x + f\right )}^{\frac {3}{2}} - 3465 \, {\left (c e^{3} f^{5} - a d^{3} g^{5} - {\left (3 \, c d e^{2} + b e^{3}\right )} f^{4} g + {\left (3 \, c d^{2} e + 3 \, b d e^{2} + a e^{3}\right )} f^{3} g^{2} - {\left (c d^{3} + 3 \, b d^{2} e + 3 \, a d e^{2}\right )} f^{2} g^{3} + {\left (b d^{3} + 3 \, a d^{2} e\right )} f g^{4}\right )} \sqrt {g x + f}\right )}}{3465 \, g^{6}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.15, size = 283, normalized size = 0.99 \[ \frac {{\left (f+g\,x\right )}^{9/2}\,\left (2\,b\,e^3\,g-10\,c\,e^3\,f+6\,c\,d\,e^2\,g\right )}{9\,g^6}+\frac {{\left (f+g\,x\right )}^{7/2}\,\left (6\,c\,d^2\,e\,g^2-24\,c\,d\,e^2\,f\,g+6\,b\,d\,e^2\,g^2+20\,c\,e^3\,f^2-8\,b\,e^3\,f\,g+2\,a\,e^3\,g^2\right )}{7\,g^6}+\frac {2\,{\left (f+g\,x\right )}^{5/2}\,\left (d\,g-e\,f\right )\,\left (c\,d^2\,g^2-8\,c\,d\,e\,f\,g+3\,b\,d\,e\,g^2+10\,c\,e^2\,f^2-6\,b\,e^2\,f\,g+3\,a\,e^2\,g^2\right )}{5\,g^6}+\frac {2\,\sqrt {f+g\,x}\,{\left (d\,g-e\,f\right )}^3\,\left (c\,f^2-b\,f\,g+a\,g^2\right )}{g^6}+\frac {2\,{\left (f+g\,x\right )}^{3/2}\,{\left (d\,g-e\,f\right )}^2\,\left (3\,a\,e\,g^2+b\,d\,g^2+5\,c\,e\,f^2-4\,b\,e\,f\,g-2\,c\,d\,f\,g\right )}{3\,g^6}+\frac {2\,c\,e^3\,{\left (f+g\,x\right )}^{11/2}}{11\,g^6} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 164.70, size = 1544, normalized size = 5.38 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________